Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
141	Environment Analysis of Higher-Order Languages A Doctoral Dissertation by Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Automatic memory management Data types Algorithm Mathematical logic Theoretical computer science Abstract interpretation Garbage collection Reference counting Computing Software engineering Memory management
142	Logic-Flow Analysis of Higher-Order Programs Matt Might http://matt.might.net/ POPL 2007 Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer errors Arrays Formal methods Data types Automated theorem proving Principles of Programming Languages Bounds checking Array data type C Computing Software engineering Computer programming
143	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-03-23 14:11:52 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
144	Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability Matthew Might Tarun Prabhu Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:14 Model theory Structure String Linguistics Logic Mathematics Character encoding Metalogic
145	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
146	Logic-Flow Analysis of Higher-Order Programs Matthew Might Georgia Institute of Technology [removed] Abstract Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Homeric epics Philosophy of mathematics Symbol First-order logic Mathematics
147	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
148	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:31 Formal methods Automated theorem proving Logic in computer science Type theory Programming language theory Matita Proof assistant POPLmark challenge Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Applied mathematics
149	Higher Order Logic and Interoperability in Global Enterprise Michael Heather1 , David Livingstone2 and Nick Rossiter2 1 2 Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2007-08-13 10:37:59 Database management systems Relational database management systems Data modeling Database theory SQL keywords Null SQL Relational model Database model Data management Computing Data
150	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics

UPDATE